Statistical proof

Results: 43



#Item
11Prediction / Weather prediction / European Centre for Medium-Range Weather Forecasts / Forecasting / Weather forecasting / Data assimilation / Climatology / Ensemble forecasting / Tropical cyclone forecast model / Atmospheric sciences / Meteorology / Statistical forecasting

Fact Sheet 6 Developing an approach for seasonal forecasting OPEC is a proof of concept project; this fact sheet highlights the work achieved towards developing an approach

Add to Reading List

Source URL: www.marineopec.eu

Language: English - Date: 2015-03-30 11:54:34
12Integer sequences / Modular arithmetic / Quadratic residue / Zero-knowledge proof / Blum integer / Non-interactive zero-knowledge proof / Proof of knowledge / NP / IP / Cryptography / Mathematics / Cryptographic protocols

The Statistical Zero-knowledge Proof for Blum Integer Based on Discrete Logarithm∗ Chunming Tang †

Add to Reading List

Source URL: eprint.iacr.org

Language: English - Date: 2003-11-03 03:50:58
13Complexity classes / Cryptographic protocols / Probabilistic complexity theory / Zero-knowledge proof / Interactive proof system / IP / NP / Secret sharing / Randomized algorithm / Theoretical computer science / Computational complexity theory / Applied mathematics

From Statistical Zero Knowledge to Secret Sharing Vinod Vaikuntanathan∗ MIT CSAIL Prashant Nalini Vasudevan†

Add to Reading List

Source URL: eprint.iacr.org

Language: English - Date: 2015-03-24 23:55:10
14Automated theorem proving / Mathematical proof / Proof assistant / Logic programming / Coq / Mathematical logic / Formal methods / Proof / Automated reasoning / Logic / Mathematics / Theoretical computer science

A statistical relational learning challenge – extracting proof strategies from exemplar proofs Gudmund Grov University of Edinburgh, United Kingdom Ekaterina Komendantskaya

Add to Reading List

Source URL: www.ai4fm.org

Language: English - Date: 2013-10-30 13:19:51
15Technology / Science / Load testing / Quality assurance / Proof test / Cargo / Statistical hypothesis testing / Statistics / Software testing / Tests

AUSTRALIA AUSTRALIA MO-32/2

Add to Reading List

Source URL: www.amsa.gov.au

Language: English - Date: 2015-01-28 01:06:31
16Circuit complexity / Probability theory / Real analysis / Independence / Statistical dependence / Majority function / PP / FO / Monotonic function / Theoretical computer science / Computational complexity theory / Mathematical analysis

Valiant’s Polynomial-Size Monotone Formula for Majority Oded Goldreich July 11, 2011 Summary: This text provides an exposition of Valiant’s proof of the existence of polynomial-size monotone formula for Majority. The

Add to Reading List

Source URL: www.wisdom.weizmann.ac.il

Language: English - Date: 2011-07-11 06:22:34
17Probability theory / Statistical classification / Bayesian statistics / IP / Probability axioms / Mathematical proof / Naive Bayes classifier / Probability / Mathematics / Statistics / Mathematical logic

Microsoft PowerPoint - prob18.ppt

Add to Reading List

Source URL: www.autonlab.org

Language: English - Date: 2008-07-07 16:16:18
18Disparate treatment / Disparate Impact / Griggs v. Duke Power Co. / McDonnell Douglas Corp. v. Green / Civil Rights Act / Dukes v. Wal-Mart Stores /  Inc. / Statistical proof / Prior probability / Wal-Mart v. Dukes / Law / Case law / McDonnell Douglas

File: Vol91_Issue4_Bent_2015_01_06_FINAL.docx Created on: :30 PM Last Printed: :57 PM

Add to Reading List

Source URL: www.law.du.edu

Language: English - Date: 2015-04-03 13:45:56
19Evidence law / Criminal law / Mathematical logic / Critical thinking / Evidence / Diagnostic and Statistical Manual of Mental Disorders / Statistical hypothesis testing / Reasonable doubt / Mathematical proof / Law / Statistics / Knowledge

VIETNAM VETERANS ASSOCIATION OF AUSTRALIA SUBMISSION TO THE REVIEW COMMITTEE OF THE VETERANS’ ENTITLEMENT ACT Part 8

Add to Reading List

Source URL: www.vvaa.org.au

Language: English - Date: 2010-02-17 13:20:30
20Technology / Science / Load testing / Quality assurance / Proof test / Cargo / Statistical hypothesis testing / Statistics / Software testing / Tests

AUSTRALIA AUSTRALIA MO-32/2

Add to Reading List

Source URL: amsa.gov.au

Language: English - Date: 2015-01-28 01:06:31
UPDATE